Integrand size = 21, antiderivative size = 124 \[ \int \left (a+b \sin ^n(c+d x)\right ) \tan ^m(c+d x) \, dx=\frac {a \operatorname {Hypergeometric2F1}\left (1,\frac {1+m}{2},\frac {3+m}{2},-\tan ^2(c+d x)\right ) \tan ^{1+m}(c+d x)}{d (1+m)}+\frac {b \cos ^2(c+d x)^{\frac {1+m}{2}} \operatorname {Hypergeometric2F1}\left (\frac {1+m}{2},\frac {1}{2} (1+m+n),\frac {1}{2} (3+m+n),\sin ^2(c+d x)\right ) \sin ^n(c+d x) \tan ^{1+m}(c+d x)}{d (1+m+n)} \]
[Out]
Time = 0.17 (sec) , antiderivative size = 124, normalized size of antiderivative = 1.00, number of steps used = 6, number of rules used = 5, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.238, Rules used = {3313, 3557, 371, 2682, 2657} \[ \int \left (a+b \sin ^n(c+d x)\right ) \tan ^m(c+d x) \, dx=\frac {a \tan ^{m+1}(c+d x) \operatorname {Hypergeometric2F1}\left (1,\frac {m+1}{2},\frac {m+3}{2},-\tan ^2(c+d x)\right )}{d (m+1)}+\frac {b \cos ^2(c+d x)^{\frac {m+1}{2}} \tan ^{m+1}(c+d x) \sin ^n(c+d x) \operatorname {Hypergeometric2F1}\left (\frac {m+1}{2},\frac {1}{2} (m+n+1),\frac {1}{2} (m+n+3),\sin ^2(c+d x)\right )}{d (m+n+1)} \]
[In]
[Out]
Rule 371
Rule 2657
Rule 2682
Rule 3313
Rule 3557
Rubi steps \begin{align*} \text {integral}& = \int \left (a \tan ^m(c+d x)+b \sin ^n(c+d x) \tan ^m(c+d x)\right ) \, dx \\ & = a \int \tan ^m(c+d x) \, dx+b \int \sin ^n(c+d x) \tan ^m(c+d x) \, dx \\ & = \frac {a \text {Subst}\left (\int \frac {x^m}{1+x^2} \, dx,x,\tan (c+d x)\right )}{d}+\left (b \cos ^{1+m}(c+d x) \sin ^{-1-m}(c+d x) \tan ^{1+m}(c+d x)\right ) \int \cos ^{-m}(c+d x) \sin ^{m+n}(c+d x) \, dx \\ & = \frac {a \operatorname {Hypergeometric2F1}\left (1,\frac {1+m}{2},\frac {3+m}{2},-\tan ^2(c+d x)\right ) \tan ^{1+m}(c+d x)}{d (1+m)}+\frac {b \cos ^2(c+d x)^{\frac {1+m}{2}} \operatorname {Hypergeometric2F1}\left (\frac {1+m}{2},\frac {1}{2} (1+m+n),\frac {1}{2} (3+m+n),\sin ^2(c+d x)\right ) \sin ^n(c+d x) \tan ^{1+m}(c+d x)}{d (1+m+n)} \\ \end{align*}
Result contains higher order function than in optimal. Order 6 vs. order 5 in optimal.
Time = 14.19 (sec) , antiderivative size = 1395, normalized size of antiderivative = 11.25 \[ \int \left (a+b \sin ^n(c+d x)\right ) \tan ^m(c+d x) \, dx=\frac {2 \left (\cos (c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right )\right )^m \left (a (1+m+n) \operatorname {AppellF1}\left (\frac {1+m}{2},m,1,\frac {3+m}{2},\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right )+b (1+m) \operatorname {AppellF1}\left (\frac {1}{2} (1+m+n),m,1+n,\frac {1}{2} (3+m+n),\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right )^n \sin ^n(c+d x)\right ) \tan \left (\frac {1}{2} (c+d x)\right ) \tan ^m(c+d x) \left (a \tan ^m(c+d x)+b \sin ^n(c+d x) \tan ^m(c+d x)\right )}{d (1+m) (1+m+n) \left (\frac {2 m \left (\cos (c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right )\right )^m \sec ^2(c+d x) \left (a (1+m+n) \operatorname {AppellF1}\left (\frac {1+m}{2},m,1,\frac {3+m}{2},\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right )+b (1+m) \operatorname {AppellF1}\left (\frac {1}{2} (1+m+n),m,1+n,\frac {1}{2} (3+m+n),\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right )^n \sin ^n(c+d x)\right ) \tan \left (\frac {1}{2} (c+d x)\right ) \tan ^{-1+m}(c+d x)}{(1+m) (1+m+n)}+\frac {\sec ^2\left (\frac {1}{2} (c+d x)\right ) \left (\cos (c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right )\right )^m \left (a (1+m+n) \operatorname {AppellF1}\left (\frac {1+m}{2},m,1,\frac {3+m}{2},\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right )+b (1+m) \operatorname {AppellF1}\left (\frac {1}{2} (1+m+n),m,1+n,\frac {1}{2} (3+m+n),\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right )^n \sin ^n(c+d x)\right ) \tan ^m(c+d x)}{(1+m) (1+m+n)}+\frac {2 m \left (\cos (c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right )\right )^{-1+m} \left (a (1+m+n) \operatorname {AppellF1}\left (\frac {1+m}{2},m,1,\frac {3+m}{2},\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right )+b (1+m) \operatorname {AppellF1}\left (\frac {1}{2} (1+m+n),m,1+n,\frac {1}{2} (3+m+n),\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right )^n \sin ^n(c+d x)\right ) \tan \left (\frac {1}{2} (c+d x)\right ) \left (-\sec ^2\left (\frac {1}{2} (c+d x)\right ) \sin (c+d x)+\cos (c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right ) \tan \left (\frac {1}{2} (c+d x)\right )\right ) \tan ^m(c+d x)}{(1+m) (1+m+n)}+\frac {2 \left (\cos (c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right )\right )^m \tan \left (\frac {1}{2} (c+d x)\right ) \left (b (1+m) n \operatorname {AppellF1}\left (\frac {1}{2} (1+m+n),m,1+n,\frac {1}{2} (3+m+n),\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \cos (c+d x) \sec ^2\left (\frac {1}{2} (c+d x)\right )^n \sin ^{-1+n}(c+d x)+b (1+m) n \operatorname {AppellF1}\left (\frac {1}{2} (1+m+n),m,1+n,\frac {1}{2} (3+m+n),\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right )^n \sin ^n(c+d x) \tan \left (\frac {1}{2} (c+d x)\right )+a (1+m+n) \left (-\frac {(1+m) \operatorname {AppellF1}\left (1+\frac {1+m}{2},m,2,1+\frac {3+m}{2},\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right ) \tan \left (\frac {1}{2} (c+d x)\right )}{3+m}+\frac {m (1+m) \operatorname {AppellF1}\left (1+\frac {1+m}{2},1+m,1,1+\frac {3+m}{2},\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right ) \tan \left (\frac {1}{2} (c+d x)\right )}{3+m}\right )+b (1+m) \sec ^2\left (\frac {1}{2} (c+d x)\right )^n \sin ^n(c+d x) \left (-\frac {(1+n) (1+m+n) \operatorname {AppellF1}\left (1+\frac {1}{2} (1+m+n),m,2+n,1+\frac {1}{2} (3+m+n),\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right ) \tan \left (\frac {1}{2} (c+d x)\right )}{3+m+n}+\frac {m (1+m+n) \operatorname {AppellF1}\left (1+\frac {1}{2} (1+m+n),1+m,1+n,1+\frac {1}{2} (3+m+n),\tan ^2\left (\frac {1}{2} (c+d x)\right ),-\tan ^2\left (\frac {1}{2} (c+d x)\right )\right ) \sec ^2\left (\frac {1}{2} (c+d x)\right ) \tan \left (\frac {1}{2} (c+d x)\right )}{3+m+n}\right )\right ) \tan ^m(c+d x)}{(1+m) (1+m+n)}\right )} \]
[In]
[Out]
\[\int \left (a +b \left (\sin ^{n}\left (d x +c \right )\right )\right ) \left (\tan ^{m}\left (d x +c \right )\right )d x\]
[In]
[Out]
\[ \int \left (a+b \sin ^n(c+d x)\right ) \tan ^m(c+d x) \, dx=\int { {\left (b \sin \left (d x + c\right )^{n} + a\right )} \tan \left (d x + c\right )^{m} \,d x } \]
[In]
[Out]
\[ \int \left (a+b \sin ^n(c+d x)\right ) \tan ^m(c+d x) \, dx=\int \left (a + b \sin ^{n}{\left (c + d x \right )}\right ) \tan ^{m}{\left (c + d x \right )}\, dx \]
[In]
[Out]
\[ \int \left (a+b \sin ^n(c+d x)\right ) \tan ^m(c+d x) \, dx=\int { {\left (b \sin \left (d x + c\right )^{n} + a\right )} \tan \left (d x + c\right )^{m} \,d x } \]
[In]
[Out]
\[ \int \left (a+b \sin ^n(c+d x)\right ) \tan ^m(c+d x) \, dx=\int { {\left (b \sin \left (d x + c\right )^{n} + a\right )} \tan \left (d x + c\right )^{m} \,d x } \]
[In]
[Out]
Timed out. \[ \int \left (a+b \sin ^n(c+d x)\right ) \tan ^m(c+d x) \, dx=\int {\mathrm {tan}\left (c+d\,x\right )}^m\,\left (a+b\,{\sin \left (c+d\,x\right )}^n\right ) \,d x \]
[In]
[Out]